<language> (From the Latin for "admirable", also the heroine of Shakespeare's "Tempest") A lazy purely functional programming language and interpreter designed by {David Turner} of the University of Kent in the early 1980s and implemented as a product of his company, {Research Software Limited}. Miranda combines the main features of KRC and SASL with strong typing similar to that of ML. It features terse syntax using the offside rule for indentation. The type of an expression is inferred from the source by the compiler but explicit type declarations are also allowed. It has nested pattern-matching, {list comprehensions} and modules. It uses operator sections rather than lambda abstractions. User types are algebraic, and in early versions could be constrained by laws. It is implemented using SKI combinator reduction. Originally implemented for Unix, there are versions for most UNIX-like platforms including Intel PC under Linux. The KAOS operating system is written entirely in Miranda. Translators from Miranda to Haskell (mira2hs) and to LML (mira2lml) are available at http://foldoc.org/pub/misc/. Non-commercial near-equivalents of Miranda include Miracula and Orwell. http://miranda.org.uk/. [{"Miranda: A Non Strict Functional Language with Polymorphic Types" (http://miranda.org.uk/nancy.html)}, D.A. Turner, in Functional Programming Languages and Computer Architecture, LNCS 201, Springer 1985]. [{"An Overview of Miranda" (http://miranda.org.uk/overview.pdf)}, D. A. Turner, SIGPLAN Notices, 21(12):158--166, December 1986]. ["Functional Programming with Miranda", Ian Holyer, Pitman Press 0-273-03453-7]. (2007-03-22)

Miranda Sings is a fictional character, created and portrayed by American comedian, actress, singer and YouTube personality Colleen Ballinger, that first appeared on the Internet in 2008.Haden, Tyler.

Miranda Lawson is a fictional character in the role-playing video game series Mass Effect by BioWare. In it, Miranda is an officer of the pro-human group Cerberus, first appearing in the 2009 iOS game Mass Effect Galaxy, and then serving as a squadmate in Mass Effect 2.

Miranda is a novel written by Antoni Lange in 1924. It was the last great work of Lange before he died , and his most famous book today.

Miranda is a French Eurodance group, active in Europe in the late 1990s and early 2000s. The main frontwoman of the group was the French-Spanish singer and dancer Sandra Miranda García (born in Paris, France, on 24 January 1976).

Miranda is one of the principal characters of William Shakespeare's The Tempest. She is the only female character to appear on stage.

Miranda was launched in Liverpool in 1829 as a West Indiaman. She was condemned at Calcutta in 1840.

Miranda was launched in Bristol in 1828. In 1829–1830 she made one voyage to Bengal, sailing under a licence from the British East India Company (EIC).

Miranda Jane Aldhouse-Green, (née Aldhouse; born 24 July 1947) is a British archaeologist and academic, known for her research on the Iron Age and the Celts. She was Professor of Archaeology at Cardiff University from 2006 to 2013.

Fátima Miranda is a Spanish singer and researcher born in Salamanca, Province of Salamanca, Spain. She has a bachelor's degree in history of art, with a specialization in modern art.